Métodos Formais em Engenharia de Software

Mestrado de [Engenharia] Informática (2012/13)

Search: ^m

Education/MFES1213 Web Changed Changed by
Material 04 Mar 2015 - 13:34 - r64 MariaJoaoFrade
Material disponível ou a disponibilizar: Bibliografia Daniel Jackson. abstractions: logic, language, and analysis . Revised edition, MIT Press, 2012. ...
Found 1 topics.
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM